Presburger arithmetic
[网络] 斯博格算术
热门查询
- dint n. 凹痕 vt. 击出凹痕
- footpath n. 人行道；小路；小径
- burlap n. 粗麻布；麻袋
- preordained v. 预先注定；预定（preordain的过去式和过去分词） adj. 注定的；天命的
- mining n. 矿业；采矿
- sieve vt. 筛；滤 n. [粮食][矿业] 筛子；滤网；不能保守秘密的人 vi. 筛；滤 n. (Sieve)人名；(英)西夫
- organisation n. 组织；团体（等于organization）
- forgivable adj. 可宽恕的；可原谅的
- stricken adj. 患病的；受挫折的；受…侵袭的；遭殃的
- guess n. 猜测；推测 vi. 猜；推测；猜中 vt. 猜测；认为；推测；猜中 n. (Guess)人名；(英)格斯；(德)居斯 n. 盖尔斯（美国服装品牌）
- high lands n. 高原地区；山岳地带（highland的复数形式）
- colorist n. 善用色彩者；五彩画家
- typo n. 排印错误；排字工；印刷工 n. (Typo)人名；(津)迪波
- unscheduled adj. 事先未安排的；不按计划的
- undiplomatic adj. 无外交策略的
- Drayton 德雷顿(①姓氏 ②Michael, 1563-1631, 英国诗人)
- multicoloured adj. 多色彩的
- lysozyme n. 溶解酵素
- idiopathic adj. 先天的；自发的，特发的
- cape n. [地理] 海角，岬；披肩 n. (Cape)人名；(塞)察佩；(英)凯普
考试词汇表
